A Tutorial Introduction to Formal Methods
نویسنده
چکیده
This paper gives details of a small example to illustrate the use of Formal Methods of system and software development, including modelling, specification, validation and design verification. The example concerns part of a simple hypothetical Air Traffic Control system. Z notation and the Cogito methodology are used. A Suggested Reading List is included for readers wishing to know more about the use of formal methods.
منابع مشابه
Development and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملOntological Sketch Modelling (OSM): Concept-based Usability Analysis
OSM is a novel approach to usability analysis and design that focuses on the quality of fit between the concepts the user is working with and those represented within supporting systems. It focuses not on tasks and procedures but on ontology-that is, the conceptual objects (entities and their attributes) that are embodied in a system, and the mismatches between those concepts and the ones broug...
متن کامل'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony
The software application domain of customer-oriented telephony is worth the attention of specialists in formal methods. Primarily this paper is a tutorial about customer-oriented telephony. It also includes observations about how this domain should be formalized, including critiques of some popular
متن کاملThis page intentionally left blank. ‘CALLS CONSIDERED HARMFUL’ AND OTHER OBSERVATIONS: A TUTORIAL ON TELEPHONY
The software application domain of customer-oriented telephony is worth the attention of specialists in formal methods. Primarily this paper is a tutorial about customer-oriented telephony. It also includes observations about how this domain should be formalized, including critiques of some popular
متن کاملIntroduction to Formal Concept Analysis and Its Applications in Information Retrieval and Related Fields
This paper is a tutorial on Formal Concept Analysis (FCA) and its applications. FCA is an applied branch of Lattice Theory, a mathematical discipline which enables formalisation of concepts as basic units of human thinking and analysing data in the object-attribute form. Originated in early 80s, during the last three decades, it became a popular human-centred tool for knowledge representation a...
متن کامل